#include <cpu/cpu.h>
#include <stdio.h>
#include <stdlib.h>
#define N 100

void sdb_mainloop();
word_t expr (char *e, bool *success);

void engine_start() {
#ifdef CONFIG_TARGET_AM
cpu_exec(-1);
#else
  /* Receive commands from user. */
	sdb_mainloop();

/*  Test cmd_p  */
/*FILE *fp;
char str[N+1];

if ((fp=fopen("./tools/gen-expr/input","r")) == NULL){
	printf("Cannot open file\n");
	exit(0);
}
while(fgets(str, N, fp)!= NULL){
	char *result = strtok(str," ");
	char *args = result + strlen(result)+1;
	printf("%s",result);
	bool success = true;
	expr(args,&success);
}
fclose(fp);*/
#endif
}
